document.write (" 133140 ");