document.write (" 6392 ");