document.write (" 31623 ");