document.write('978912');