document.write (" 3140 ");