document.write (" 3139 ");