My undergraduate students say 420 is marijuana slang, originating in California, that originally announced that a group would smoke a joint at 4:20. Anybody with clearer information?