document.write('12004')