document.write('000012');