document.write (" 7172 ");