document.write (" 6012 ");