Here, beyond any doubt of mine, a porcupine had thrown quills from the dingle floor to its roof, a distance of over six feet. To clinch the matter I tapped his nose with the rod case when he started for the door, which made him turn and bristle up again.
A div tag defines a division (or section) of a HTML document. DIV elements can be used to structure HTML documents as a hierarchy of divisions. So it would be fair to say that 'div' is short for 'division'. You have to go back to the specification for HTML 3.2 to find that out though, as it isn't stated at all in any newer specifications. Here is the link: http://www.w3.org/TR/REC-html32#div.
VIN is an acronym for vehicle identification number. It is a serial number composed of numbers and letters. Each vehicle has a unique identification number that can be used by the Department of Motor Vehicles -- aka, the DMV-- to identify cars and other motor vehicles. The DMV is a government agency that handles regulations on land vehicles.