document.write (" 6412 ");