document.write (" 6727 ");