document.write (" 6388 ");