document.write(8012)