document.write (" 31378 ");