[jcommin]

I wouldn't cut the ladder - try the 12 ft one.

There is probably a superstitious reason for not having a ladder 13 ft high.