document.write (" 6172 ");