document.write (" 11142 ");