document.write (" 16042 ");