document.write('5242 ');