document.write (" 31138 ");