/* Lifted verbatim from the prototype HTML