document.write (" 11283 ");