document.write('005235');