document.write('5142 ');