//JavaScript here gets executed *before* onload is complete: may miss elements!