document.write (" 8012 ");