document.write('6001 ');