document.write (" 4012 ");