document.write('12006')