document.write(4012)