document.write (" 6312 ");