document.write (" 10130 ");