document.write('1002 ');