modified javascript: slightly...