document.write('5250');document.write('');