document.write (" 6734 ");