document.write (" 13241 ");