document.write('00004200');