document.write (" 6732 ");