document.write (" 17242 ");