document.write('0000001472');