document.write('5250')