document.write (" 11542 ");