document.write('40012');