document.write (" 10157 ");